Pandora: A Reasoning Toolbox using Natural Deduction Style

Pandora is a tool for supporting the learning of first order natural deduction. It includes a help window, an interactive context sensitive tutorial known as the ‘‘e-tutor’’ and facilities to save, reload and export to . Every attempt to apply a natural deduction rule is met with either success or a helpful error message, providing the student with instant feedback. Detailed electronic logs of student usage are recorded for evaluation purposes. This paper describes the basic functionality, the e-tutor, our experiences of using the tool in teaching and our